div theorem